1
ปรัชญาด้านความน่าเชื่อถือและการจัดการข้อผิดพลาด
AI034Lesson 9
00:00

แนวทางของเรสต์ในการสร้างความน่าเชื่อถือไม่ใช่แค่เพียงการหลีกเลี่ยงบักเท่านั้น; มันคือ ปรัชญาของการออกแบบอย่างตั้งใจมันจัดหมวดหมู่ข้อผิดพลาดที่อาจเกิดขึ้นทุกครั้งให้อยู่ในสองโดเมน: สามารถแก้ไขได้ และ ไม่สามารถแก้ไขได้ ข้อผิดพลาด ซึ่งช่วยให้ระบบมีความทนทาน คาดเดาได้ และปลอดภัยจากการเสียหายของข้อมูลโดยไม่รู้ตัว

1. ระบบจำแนกประเภทข้อผิดพลาด

ข้อผิดพลาดที่ สามารถแก้ไขได้ (เช่น ไฟล์หาย) เป็นอุปสรรคที่คาดการณ์ได้ ซึ่งโปรแกรมสามารถลองใหม่หรือแจ้งผู้ใช้ได้ ส่วนข้อผิดพลาดที่ ไม่สามารถแก้ไขได้ (เช่น การล้นบัฟเฟอร์) แสดงถึงความผิดพลาดทางตรรกะ ซึ่งวิธีที่ปลอดภัยที่สุดคือหยุดทำงานทันที — หลักการ หยุดเร็ว หลักการ

เจตนาของนักพัฒนาสามารถแก้ไขได้ผลลัพธ์ <T, E> (ลองใหม่)ไม่สามารถแก้ไขได้หยุดทำงาน! (หยุด)

2. การพัฒนาตามสัญญา

ความน่าเชื่อถือเกิดจากการกำหนดขอบเขตอย่างชัดเจน หากเงื่อนไขเบื้องต้นของฟังก์ชันเป็นจริง แต่ปัจจัยภายนอกทำให้เกิดความล้มเหลว ควรส่งกลับเป็น ผลลัพธ์หากตรรกะภายในละเมิดค่าคงที่หลัก เรสต์จะบังคับหยุดการทำงาน เพื่อป้องกันไม่ให้สถานะของระบบเสียหายเพิ่มเติม

main.py
TERMINALbash — 80x24
> Ready. Click "Run" to execute.
>